1. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992